TermSplicingOutOfScope.agda:7,11-36
de Bruijn index 3 is not in scope in the context
(x : Set) (y : Set) (z : Set)
when checking that the expression unquote (give (var 3 [])) has
type Set
